$i$ $>$ $j$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$j$ $<$ $i$